#ifndef _printf1_
#define _printf1_
void printf1();
#endif
